|
In mathematics, the discriminant of an algebraic number field is a numerical invariant that, loosely speaking, measures the size of the (ring of integers of the) algebraic number field. More specifically, it is proportional to the volume of the fundamental domain of the ring of integers, and it regulates which primes are ramified. The discriminant is one of the most basic invariants of a number field, and occurs in several important analytic formulas such as the functional equation of the Dedekind zeta function of ''K'', and the analytic class number formula for ''K''. An old theorem of Hermite states that there are only finitely many number fields of bounded discriminant, however determining this quantity is still an open problem, and the subject of current research. The discriminant of ''K'' can be referred to as the absolute discriminant of ''K'' to distinguish it from the relative discriminant of an extension ''K''/''L'' of number fields. The latter is an ideal in the ring of integers of ''L'', and like the absolute discriminant it indicates which primes are ramified in ''K''/''L''. It is a generalization of the absolute discriminant allowing for ''L'' to be bigger than Q; in fact, when ''L'' = Q, the relative discriminant of ''K''/Q is the principal ideal of Z generated by the absolute discriminant of ''K''. ==Definition== Let ''K'' be an algebraic number field, and let ''O''''K'' be its ring of integers. Let ''b''1, ..., ''b''''n'' be an integral basis of ''O''''K'' (i.e. a basis as a Z-module), and let be the set of embeddings of ''K'' into the complex numbers (i.e. injective ring homomorphisms ''K'' → C). The discriminant of ''K'' is the square of the determinant of the ''n'' by ''n'' matrix ''B'' whose (''i'',''j'')-entry is σ''i''(''b''''j''). Symbolically, : Equivalently, the trace from ''K'' to Q can be used. Specifically, define the trace form to be the matrix whose (''i'',''j'')-entry is Tr''K''/Q(''b''''i''''b''''j''). This matrix equals ''B''T''B'', so the discriminant of ''K'' is the determinant of this matrix. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Discriminant of an algebraic number field」の詳細全文を読む スポンサード リンク
|